Hadwiger–Finsler inequality